University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
231	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
232	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
233	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
234	Combined Distributional and Logical Semantics Mark Steedman School of Informatics University of Edinburgh Edinburgh, EH8 9AB, UK [removed] Add to Reading List Source URL: www.transacl.org Language: English - Date: 2013-05-31 13:47:42 Semantics Predicate logic Formal languages Grammar Model theory Predicate First-order logic Combinatory categorial grammar Interpretation Logic Linguistics Mathematical logic
235	Beyond Script Management David Aspinall School of Informatics University of Edinburgh CIAO 2007 · [removed] Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2010-10-04 11:26:58 Declarative programming Functional programming Aspinall Coq Software
236	Hallucinations in Charles Bonnet Syndrome Induced by Homeostasis: a Deep Boltzmann Machine Model David P. Reichert, Peggy Series and Amos J. Storkey School of Informatics, University of Edinburgh 10 Crichton Street, Edin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English Cerebrum Medical signs Psychedelics dissociatives and deliriants Psychosis Philosophy of mind Hallucination Auditory hallucination Visual cortex Cerebral cortex Anatomy Mind Cognitive science
237	A Hierarchical Generative Model of Recurrent Object-Based Attention in the Visual Cortex David P. Reichert, Peggy Series, and Amos J. Storkey School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-26 13:01:08 Mind Attention-deficit hyperactivity disorder Central nervous system Brain Visual cortex Visual perception DBm Attention Neural network Anatomy Cerebrum Neuroscience
238	Comparing Probabilistic Models for Melodic Sequences Athina Spiliopoulou and Amos Storkey School of Informatics, University of Edinburgh, United Kingdom {a.spiliopoulou,a.storkey}@ed.ac.uk Abstract. Modelling the real w Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-26 12:53:52 Hidden Markov model Boltzmann machine Generative model Graphical model N-gram Markov model Gibbs sampling Latent variable Statistics Statistical models Probability
239	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 07:03:54 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
240	When Training and Test Sets are Different: Characterising Learning Transfer Amos J Storkey Institute of Adaptive and Neural Computation School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-03-08 04:44:56 Machine learning Regression analysis Actuarial science Generative model Naive Bayes classifier Supervised learning Conditional probability distribution Instrumental variable Linear regression Statistics Statistical models Econometrics

UPDATE